树逻辑，从周围的逻辑继承了，作为相关程序语言和类型系统的正式基础被介绍。在这篇论文，我们介绍递归进如此的逻辑系统，它能更清楚地并......

文章研究了子句逻辑推演的Ｐｅｔｒｉ网模型表示和不动点求解方法，基于四值逻辑和冲突变迁的概念，可用Ｈｏｒｎ子句的Ｐｅｔｒｉ网模型方法来构造非Ｈｏｒｎ子句的Ｐｅｔｒｉ网模型逻......

命题μ-演算局部模型检测算法中，目前最好的算法的时间复杂度与不动点算子交替嵌套深度d呈指数关系。针对命题μ-演算局部模型检测......

分析了循环ALC＋的语法及语义特征,指出循环ALC＋-TBox具有固定点语义的充分非必要条件,并进行了证明,讨论了其固定点模型存在需满足的......

ＧＳＭ系统的全称是泛欧数字蜂窝移动通信系统。它在世界三大移动通信系统（美国的ＡＤＣ系统，日本的ＰＤＣ系统）中应用的国家和地区最广，其中包括我国。ＧＳＭ采......

并发系统的模型是其性能评价、仿真、作业调度及控制的研究基础。互斥是并发系统最重要的性质之一。建立了具有互斥约束系统的一般......

在没有无限性公理的ZF集论中给出一个偏序集不动点定理....